@InProceedings{CruzFerrSilv:2020:StVaAu,
               author = "Cruz, Caio Gustavo Rodrigues da and Ferreira, Maur{\'{\i}}cio 
                         Gon{\c{c}}alves Vieira and Silva, Rodrigo Rocha",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Universidade de 
                         Coimbra}",
                title = "State validation in automated planning",
            booktitle = "Proceedings...",
                 year = "2020",
                pages = "396--406",
         organization = "International Conference on Enterprise Information Systems, 22.",
             keywords = "Planning Preference, Invalid States, PDDL.",
             abstract = "The crescent number of automated systems in satellites raises 
                         several security and reliability concerns, that are worsened with 
                         the time. Plan validation techniques were created to validate 
                         flight operation plans generated automatically. The execution of 
                         automatically generated plans on satellite flight operations can 
                         result in degraded or invalid states. Verifying the possibility of 
                         removing these states of a plan through a state validation 
                         technique is the objective of this paper. Analyzing the action 
                         that generated and, in planning time, remove the invalid states 
                         from the plan steps enables the planner to find the final state 
                         without any invalid state. Therefore, implementing a state 
                         validator in the automated planner prevents the plan from 
                         containing any invalid state.",
  conference-location = "Prague",
      conference-year = "05-07 May",
                  doi = "10.5220/0009411903960406",
                  url = "http://dx.doi.org/10.5220/0009411903960406",
                 isbn = "9789897584237",
                label = "lattes: 1304704585952173 1 FerreiraRodrSilv:2020:StVaAu",
             language = "pt",
           targetfile = "cruz_state.pdf",
               volume = "1",
        urlaccessdate = "28 abr. 2024"
}